10:16
2026-07-06
firethering.com
artificial-intelligence
Leanstral 1.5: Mistral’s AI Built to Prove Math Ended Up Finding Real Software Bugs
Mistral's Leanstral 1.5, an AI model designed to write formal mathematical proofs, unexpectedly discovered five previously unreported software bugs in open-source codebases by using its proof-checking…